Modeling languages - PDFSEARCH.IO - Document Search Engine

Modeling languages
Results: 539

#	Item
31	A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages Man Zhang, Tao Yue, Shaukat Ali, Huihui Zhang and Ji Wu Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:23:18 Software requirements Software project management Systems Modeling Language Unified Modeling Language Software testing Use case Test case Use Case Diagram Zen Traceability Requirement
32	Taming Multi-Paradigm Integration in a Software Architecture Description Language Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, and Gábor Karsai Institute for Software Integrated Systems Department of El Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-09-10 09:15:14 Software architecture Array programming languages Architecture description language Systems architecture Earth sciences graphics software Architecture Analysis & Design Language Interface description language IDL Modeling language Component-based software engineering Xtext Object Process Methodology
33	Exploiting the Internet of Things to Teach Domain-Specific Languages and Modeling The ArduinoML project S´ebastien Mosser, Philippe Collet, and Mireille Blay-Fornarino Univ. Nice Sophia Antipolis, I3S, UMR 7271, 06900 S Add to Reading List Source URL: models2014.webs.upv.es Language: English - Date: 2014-09-22 10:28:31 Scientific modeling Unified Modeling Language Software design Systems engineering Domain-specific language Modeling language Arduino Metamodeling Model-driven engineering Kernel Abstraction SIGNAL
34	Lecture 4: Modeling Sparse Matrix-Vector Multiply William Gropp www.cs.illinois.edu/~wgropp Sustained Memory Bandwidth Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-01-15 10:20:20 Central processing unit Computer memory Cache Programming languages CPU cache Sparse matrix Processor register Fortran Data
35	Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:22:51 Object-oriented programming Simulation software Logic in computer science Modelica Scientific modeling Modeling language Operational semantics Semantics Domain-specific language OpenModelica Wolfram SystemModeler
36	A Constraint Solver for PHP Arrays Ivan Enderlin1 , Alain Giorgetti, Fabrice Bouquet March 22th, 2013 CSTVA, Luxembourg Add to Reading List Source URL: keynote.hoa-project.net Language: English - Date: 2013-12-16 18:13:31 Scripting languages PHP Data types Mathematical modeling Object-oriented programming languages Constraint programming AMPL Array data type Praspel Array data structure Associative array
37	Posterboards or Java Applets? Andri Ioannidou, Alexander Repenning, John Zola** * Center for LifeLong Learning and Design, Department of Computer Science, University of Colorado at Boulder, Campus Box 430, Boulder, CO Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 1999-01-16 23:35:03 Simulation Visual programming languages Scientific modeling AgentSheets Cross-platform software Social simulation Alexander Repenning Web-based simulation Computer simulation Agent-based model Scientific modelling End-user development
38	AgentCubes: Raising the Ceiling of End-User Development in Education through Incremental 3D 1 Alexander Repenning1,2 & Andri Ioannidou2 University of Colorado, Computer Science Department, Campus Box 430 Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-05-10 20:11:02 Visual programming languages AgentSheets Alexander Repenning End-user development Alice Logo 3D modeling Simulation Stagecast Creator Computer animation
39	A concise guide to VMM Verification Methodology Version 1.2 VMM is available for free download at www.vmmcentral.org VMM Golden Reference Guide First Edition, January 2010 Copyright © 2010 by Doulos Ltd. All rights res Add to Reading List Source URL: vmmcentral.org Language: English - Date: 2010-03-04 18:39:33 Hardware verification languages Hardware description languages SystemVerilog Electronic design automation Logic design E Bus Functional Model Verilog Mentor Graphics Transaction-level modeling Reference Verification Methodology
40	Mapping and modeling Earth Science Data Segment III: Some notes on other approaches to data analysis and Visualization Thorsten Becker Add to Reading List Source URL: www-udc.ig.utexas.edu Language: English - Date: 2012-06-28 09:00:53 Array programming languages Earth sciences graphics software Matplotlib GNU Octave MATLAB Gnuplot IDL VTK ParaView GrADS